| |
|
|
|
PawLogic is a program for manipulating boolean expressions. The
program handles both expressions in propositional logic and quantified
boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical
proof methods. It is used in formal verification like symbolic model
checking and equivalence checking of combinational and sequential
circuits. Logic is also behind product configurators and the construction of
remote controls and traffic light intersections. And logic is
something we all use daily. For example, most of us readily accept the
following reasoning: `If it rains, I get wet. It rains. Therefore I
get wet.` This is applied logic.
PawLogic lets you work and experiment with logic. If you are a
student of logic, you get a valuable tool to aid you in your
studies. If you are a professional working with logic, you get an
always accissible logic program for you to use whether at the office,
at home or on the move. And if you are just interested in the world of
logic, here is your chance to get hands-on experience.
PawLogic works under PalmOS 2.0 and higher. Copyright © 2000
Poul F. Williams. All Rights Reserved.
Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.
|
| « read more about PawLogic -- License B 1.0.3 |
|
|
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » The Health Physicist`s Companion 1.4.2
|
| Designed for radiation protection professionals, the Health Physicist`s Companion is a convenient and easy-to-use software tool for obtaining information about radionuclides, radiation and dosimetric quantities, radiation physics and for completing all ma ... |
|
| Plus.com | 0 | Win 95/NT/2000/XP/98/ME | $235 | Downloads: 1346 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Fractopia Screen Saver 2.0
|
| Fractopia lets you explore the colourful world of fractals and create your own fractal screen savers using the images you find. Dive beneath the surface of fractal images and discover the incredible treasures within Convert your discoveries into an ... |
|
| Software-cottage.com | 0 | Win NT/2000/XP/98/ME | $20 | Downloads: 1336 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Colliding Galaxies - simulation of interacting galaxies 1.2
|
| Colliding Galaxies is a program to simulate interacting galaxies. Features: - up to one million particles (stars) - editor to create real galaxies - creating AVI-videos - free camerapoition (zoom, rotation) - stereo-mode for real 3D! - Doppler eff ... |
|
| Colliding-galaxies.com | 0 | Win 95/NT/2000/XP/98/ME | $32 | Downloads: 1409 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » 3DMath Explorer (2-5 users) 3.1
|
| 3DMath Explorer is a tool for piloting mathematical curves. It have many new features different from traditional mathematic piloting programs. Fist of all 3DMath Explorer use 3 dimensional math. space instead of 2 dimensional plane to draw any kind of gr ... |
|
| Teber.biz | 0 | Win 95/NT/2000/XP/98/ME | $40 | Downloads: 1677 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » 3DMath Explorer (21-50 users ) 3.1
|
| 3DMath Explorer is a tool for piloting mathematical curves. It have many new features different from traditional mathematic piloting programs. Fist of all 3DMath Explorer use 3 dimensional math. space instead of 2 dimensional plane to draw any kind of gr ... |
|
| Teber.biz | 0 | Win 95/NT/2000/XP/98/ME | $35 | Downloads: 1648 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » ABF Value Converter on CD-ROM
|
| ABF Value Converter is a measurement units converter. This software easily converts values of one measurement unit into others. Inches to centimeters, pounds to kilograms, Fahrenheit to Celsius... and more than 5000 other conversions are grouped according ... |
|
| Abf-soft.com | 0 | Win 95/NT/2000/XP/98/ME | $24.9 | Downloads: 1608 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Encyclopedia of Geometric Constructions (EGC) 1.1
|
| The Encyclopedia of Geometric Constructions. Is a shareware product. It contains 50 files (minimum) of geometric constructions e.g. ellipse1.euk using the file format of the Euklides dynamic geometry program www.euklides.hu also available ... |
|
| Fidn.org | 0 | | $10 | Downloads: 1377 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Fractal ICU 2.0
|
| Fractal ICU is an interactive fractal explorer to create and study the Mandelbrotset and Juliasets. Due to the new and easy handling of color settings the possibilities to create artistic designs with Fractal ICU are virtually unlimited. For the inquisit ... |
|
| Beckmann-software.de | 0 | Win NT/2000/XP/98/ME | $21.55 | Downloads: 1400 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » UniTest System Site License 4.x.x
|
| UniTest System is a powerful education tests & quizzes automation tool. Create and process your own tests, filter and customize test results, create or use predefined professional reports. Full support of MS Office, Lotus Notes and any other OLE-enabled ... |
|
| Simtel.net | 0 | | $1490 | Downloads: 1239 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » CalcSurveying 1.0
|
| Coordinate calculator : - azimuth, distance - angle, distance (Occ, BS) - intersection of 2 lines - intersection of line-circle - intersection of 2 circles - - more Graph section : - draw line,arc,text - write dxf 2D/3D ... |
|
| Calcsurveying.com | 0 | Win CE / Pocket PC | $45 | Downloads: 1364 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| » Syberad Calculator 1.2
|
| The Syberad Calculator is probably the first calculator designed for professionals, students and home-users alike which allows calculation entry as algebraic text strings, that you just type in, as well as the usual on-screen buttons. Just type in your e ... |
|
| Plus.com | 0 | Win 3.1/95/NT/2000/XP/98/ME | $12.5 | Downloads: 1377 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Unitica-ONE, die eFormelsammlung 1.1
|
| Unitica-ONE is an easy-to-use drag n` drop-formulae collection for all engineering students. It is very helpful for the creation of any document that requires a high degree of formulae editing. You can expand Unitica-ONE with the required and available s ... |
|
| Unitica.de | 0 | Win 95/NT/2000/XP/98/ME | E29.9 | Downloads: 1333 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Pocket StarCalc 1.0.0
|
| Pocket StarCalc is a small and fast astronomical planetarium program. If you have a Windows CE v3.0 (and greater) Palm-size PC with Pocket StarCalc installed, you will be able to locate any celestial object, get detailed information about it, and track as ... |
|
| Relex.ru | 0 | Win CE / Pocket PC | $29.95 | Downloads: 1401 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MasterCalc 1
|
| MasterCalc program is intended for calculation of many mathematical tasks with the extended possibilities, for example it is possible to calculate such expressions: (4,1-(1,2 323)/5,5) (8 * (1,42 431,54)), sqrt (1-cos (asin (0,25146)) ^4). It is possib ... |
|
| Mastercalc.com | 0 | Win 95/XP/98/ME | $18 | Downloads: 1319 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Bioreactor Design 2.4
|
| Bioreactor Design for Windows With this program you can design different kinds of bioreactors. There are several parameters to design your vessel. If you change a parameter, others are simultanously recalculated. During recalculation, the yellow p ... |
|
| Wxs.nl | 0 | Win 3.1/95/NT/2000/XP/98/ME | E100 | Downloads: 1454 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » LeoStatistic 8.2
|
| LeoStatistic software for data presentation and statistical analysis and prediction. Screenshots: click on picture to enlarge Distribution Distribution of two variables. Approximation(constructor style interface). 3 ... |
|
| Leokrut.com | 0 | Win 95/NT/2000/XP/98/ME | $9.95 | Downloads: 1271 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graphmatica en francais 2.0c
|
| Graphmatica est un logiciel de tracù de courbes mathùmatiques. Bien qu`il soit extrúmement simple ð utiliser, un nouvel utilisateur ne verra pas tout de suite ses fonctionnalitùs avancùes. Veuillez prendre un moment pour vous informer sur ces foncti ... |
|
| Graphmatica.com | 0 | Win NT/2000/XP/98/ME | $27.5 | Downloads: 1381 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Geometrische 3D Objekte 1.3
|
| The software is designed as a simple accessory for teaching math. The program can represent the following objects in 3D space: - regular prism (3 to 10 sides) - general three-sided prism - special four-sided prism (adjustable inclination of sides) - ... |
|
| Greuer.de | 0 | Win 95/NT/2000/XP/98/ME | E28 | Downloads: 1360 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Geometrische 3D Objekte - Firmenlizenz 1.3
|
| The software is designed as a simple accessory for teaching math. The program can represent the following objects in 3D space: - regular prism (3 to 10 sides) - general three-sided prism - special four-sided prism (adjustable inclination of sides) - ... |
|
| Greuer.de | 0 | Win 95/NT/2000/XP/98/ME | E195 | Downloads: 1321 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Matrix Calculator 1.01
|
| Matrix Calculator is a small,fast and easy to use utility for every kind of matrix calculation.It`s best for math students,because it`s extremely hard to do calculations of large sized matrices with hand.Matrix Calculator handles these giving information ... |
|
| Lbbsoftware.com | $13 | | $13 | Downloads: 1381 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
